Computation tree - PDFSEARCH.IO - Document Search Engine

Computation tree
Results: 129

#	Item
71	Computation’s FREE Earth Week Computer Reuse & Recycling Event: April 21st – 27th Reuse or Recycle a Computer: Have a Tree Planted! TORONTO, CANADA - Looking for an environmentally sensitive and privacy ensured metho Add to Reading List Source URL: www.computation.to Language: English - Date: 2014-04-09 17:13:44 Computer recycling Recycling CFRI-FM
72	Overview Modelling Deterministic finite automata Algorithmic Verification Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Temporal logic Update Computation tree logic
73	RE-Tree: An Efficient Index Structure for Regular Expressions Chee-Yong Chan, Minos Garofalakis, Rajeev Rastogi Bell Labs, Lucent Technologies cychan,minos,rastogi @research.bell-labs.com Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 02:03:00 Deterministic finite automaton Finite-state machine Nondeterministic finite automaton Regular expression Alphabet Büchi automaton Automata theory Theory of computation Theoretical computer science
74	Microsoft Word - fp289-kumar.doc Add to Reading List Source URL: www1.cs.columbia.edu Language: English - Date: 2006-10-10 13:42:44 Applied mathematics Models of computation Spanning tree Deterministic finite automaton Graph coloring Minimum spanning tree Nondeterministic finite automaton Tree Finite-state machine Theoretical computer science Automata theory Mathematics
75	BRICS Basic Research in Computer Science MONA Version 1.4 User Manual Nils Klarlund, [removed] Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:00:12 Models of computation Computer science Model checking Finite-state machine Deterministic finite automaton Formal language Tree automaton Formal verification Second-order logic Automata theory Theoretical computer science Applied mathematics
76	A Structure for Modern Computer Narratives Clark Verbrugge School of Computer Science McGill University Montreal, Quebec, CANADA H3A 2A7 [removed] Add to Reading List Source URL: gram.cs.mcgill.ca Language: English - Date: 2014-03-14 23:54:01 Models of computation Hypergraph Petri net Graph Tree traversal Finite-state machine Bipartite graph Topology Graph theory Theoretical computer science Mathematics
77	The Combinatorics of Non-determinism∗ ´ eric ´ Peschanski‡ . Olivier Bodini†, Antoine Genitrini‡and Fred [removed], {Antoine.Genitrini,Frederic.Peschanski}@lip6.fr. Add to Reading List Source URL: www-apr.lip6.fr Language: English - Date: 2013-12-05 10:18:28 Enumerative combinatorics Integer sequences Computational complexity theory Factorial Computation tree B-tree Combinatory logic Combinatorial species Tree Mathematics Combinatorics Discrete mathematics
78	§1. Algorithmics Lecture I Page 1 Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-04-13 15:02:34 Computational complexity theory Operations research Algorithms Models of computation Decision tree model Sorting algorithm Linear programming Divide and conquer algorithm Time complexity Theoretical computer science Applied mathematics Mathematics
79	Space-efficient Local Computation Algorithms∗ Noga Alon† Ronitt Rubinfeld‡ Abstract Add to Reading List Source URL: www.math.tau.ac.il Language: English - Date: 2011-10-02 19:00:10 Network theory Analysis of algorithms Probabilistic complexity theory Randomized algorithm Graph coloring Decision tree model Probabilistic method Algorithm Shortest path problem Theoretical computer science Mathematics Applied mathematics
80	Quantum Search Algorithms arXiv:quant-ph/0504012v1 3 Apr 2005 Andris Ambainis∗ Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-01 04:35:35 Computational complexity theory Quantum information science Models of computation Quantum walk Quantum computer Randomized algorithm Amplitude amplification Time complexity Decision tree model Theoretical computer science Applied mathematics Quantum algorithms

UPDATE